Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
#define opt_contig_mem 1
#endif
-struct page_info *frame_table;
+struct page_info *frame_table __read_mostly;
unsigned long max_page;
/*
* Set up the page tables.
*/
-volatile unsigned long *mpt_table;
+volatile unsigned long *mpt_table __read_mostly;
void
paging_init (void)
unsigned long xenheap_size = XENHEAP_DEFAULT_SIZE;
extern long running_on_sim;
unsigned long xen_pstart;
-void *xen_heap_start;
+void *xen_heap_start __read_mostly;
static int
xen_count_pages(u64 start, u64 end, void *arg)
#define TIME_KEEPER_ID 0
unsigned long domain0_ready = 0;
static s_time_t stime_irq = 0x0; /* System time at last 'time update' */
-unsigned long itc_scale, ns_scale;
+unsigned long itc_scale __read_mostly, ns_scale __read_mostly;
unsigned long itc_at_irq;
/* We don't expect an absolute cycle value here, since then no way